pub type A
pub trait A {} // Error: The trait A duplicates with type A previously defined at ...